<?php
/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
global $starttime,$querynum;
$mtime = explode(' ', microtime());
$runtime=number_format($mtime[1] + $mtime[0] - $starttime,6);
$setting=$this->setting;$user=$this->user;
if(!empty($site['name'])){
    $user['sitename'] = $site['name'];
    $user['siteid'] = $site['id'];
}
$headernavlist=$this->nav;$regular=$this->regular;
$areacn=$this->areacn;

?>
